<!--
Copyright (c) 2011 The Chromium Authors. All rights reserved.
Use of this source code is governed by a BSD-style license that can be
found in the LICENSE file.
-->
<!DOCTYPE html>
<html>
<head>
<style type="text/css">
body {
  font-size: 12px;
  font-family: Arial;
}
img {
  margin: 8px 12px 0 8px;
  float: left;
}
</style>
</head>
<body>
<p><img src="img/information.png">You have <code>devtools-save</code> extension
installed, but the mapping for source file paths is not configured.<br/>
Visit <a id="options-link" href="options.html" target="_blank">options page</a>
to configure the extension.
</p>
<script type="text/javascript">
function onOptionsClicked(event) {
  chrome.tabs.create({ url: event.target.href });
  window.close();
  event.preventDefault();
} 
var a = document.getElementById("options-link")
a.addEventListener("click", onOptionsClicked, false);
</script>
</body>
</html>
